This code has been obtained from https://github.com/Microsoft/PQCrypto-SIDH.
Only the relevant parts have been kept, and it has been modified to use OQS's
primitives and to adhere to its coding guidelines.
